#Density : 9043633947587652722161130210913/32000000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 9, 10, 11, 12, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
44152645052693445163133934087/62500000000000000000000000000 26733476117567900902426380567/62500000000000000000000000000 -111705578317058471495335239633/250000000000000000000000000000 -103836350923719183797299881273/250000000000000000000000000000 -73851404774660706560012272557/125000000000000000000000000000 22128310128239084436818313771/125000000000000000000000000000
26733476117567900902426380567/62500000000000000000000000000 16186544305004797411267006247/62500000000000000000000000000 -67635323015739039319721221953/250000000000000000000000000000 -62870675227764360861522289193/250000000000000000000000000000 -44715435812192489942607487837/125000000000000000000000000000 13398215432606978090818703611/125000000000000000000000000000
-111705578317058471495335239633/250000000000000000000000000000 -67635323015739039319721221953/250000000000000000000000000000 282613560575059582056115469847/1000000000000000000000000000000 262704524642278476905476346607/1000000000000000000000000000000 186843027638213852530095294363/500000000000000000000000000000 -55984317068754605613817702989/500000000000000000000000000000
-103836350923719183797299881273/250000000000000000000000000000 -62870675227764360861522289193/250000000000000000000000000000 262704524642278476905476346607/1000000000000000000000000000000 244198003546245614173913484167/1000000000000000000000000000000 173680656577640307734119824403/500000000000000000000000000000 -52040437737819174219988185109/500000000000000000000000000000
-73851404774660706560012272557/125000000000000000000000000000 -44715435812192489942607487837/125000000000000000000000000000 186843027638213852530095294363/500000000000000000000000000000 173680656577640307734119824403/500000000000000000000000000000 123526687487957549835276451727/250000000000000000000000000000 -37012658840925255628021092281/250000000000000000000000000000
22128310128239084436818313771/125000000000000000000000000000 13398215432606978090818703611/125000000000000000000000000000 -55984317068754605613817702989/500000000000000000000000000000 -52040437737819174219988185109/500000000000000000000000000000 -37012658840925255628021092281/250000000000000000000000000000 11090210077949963562168318143/250000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
11090210077949963562168318143/250000000000000000000000000000 -52040437737819174219988185109/500000000000000000000000000000 -37012658840925255628021092281/250000000000000000000000000000 13398215432606978090818703611/125000000000000000000000000000 -55984317068754605613817702989/500000000000000000000000000000 22128310128239084436818313771/125000000000000000000000000000
-52040437737819174219988185109/500000000000000000000000000000 244198003546245614173913484167/1000000000000000000000000000000 173680656577640307734119824403/500000000000000000000000000000 -62870675227764360861522289193/250000000000000000000000000000 262704524642278476905476346607/1000000000000000000000000000000 -103836350923719183797299881273/250000000000000000000000000000
-37012658840925255628021092281/250000000000000000000000000000 173680656577640307734119824403/500000000000000000000000000000 123526687487957549835276451727/250000000000000000000000000000 -44715435812192489942607487837/125000000000000000000000000000 186843027638213852530095294363/500000000000000000000000000000 -73851404774660706560012272557/125000000000000000000000000000
13398215432606978090818703611/125000000000000000000000000000 -62870675227764360861522289193/250000000000000000000000000000 -44715435812192489942607487837/125000000000000000000000000000 16186544305004797411267006247/62500000000000000000000000000 -67635323015739039319721221953/250000000000000000000000000000 26733476117567900902426380567/62500000000000000000000000000
-55984317068754605613817702989/500000000000000000000000000000 262704524642278476905476346607/1000000000000000000000000000000 186843027638213852530095294363/500000000000000000000000000000 -67635323015739039319721221953/250000000000000000000000000000 282613560575059582056115469847/1000000000000000000000000000000 -111705578317058471495335239633/250000000000000000000000000000
22128310128239084436818313771/125000000000000000000000000000 -103836350923719183797299881273/250000000000000000000000000000 -73851404774660706560012272557/125000000000000000000000000000 26733476117567900902426380567/62500000000000000000000000000 -111705578317058471495335239633/250000000000000000000000000000 44152645052693445163133934087/62500000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
17280871226584199771758975051/3906250000000000000000000000 -2226451578752800741126903727629/1000000000000000000000000000000 113839527756528112257897236579/1000000000000000000000000000000 -66668357326419685114184469609/1000000000000000000000000000000 -37104879857547511162886956789/125000000000000000000000000000 -3220303062015763487039596211159/500000000000000000000000000000 544775701387065396537124498143/1000000000000000000000000000000 594838743490541442792236457203/1000000000000000000000000000000 -96167454714539954130136344499/250000000000000000000000000000 850506071573499111541112620663/1000000000000000000000000000000 -124501534030911281764070508231/500000000000000000000000000000 525644717936501858769909841751/1000000000000000000000000000000
-2226451578752800741126903727629/1000000000000000000000000000000 51797492757298957382611511557/20000000000000000000000000000 -287018672811520281287494210971/500000000000000000000000000000 423037945206258450642149631/15625000000000000000000000000 -381227339359118475704409698527/500000000000000000000000000000 2495666574812334344621920556729/1000000000000000000000000000000 -28310389411126360051083326961/100000000000000000000000000000 49640760239964863669843576911/1000000000000000000000000000000 47658867570597874864090478047/250000000000000000000000000000 -144240699204262485944212942189/1000000000000000000000000000000 269436850207472357789857438181/500000000000000000000000000000 -341429929076622367592013254101/1000000000000000000000000000000
113839527756528112257897236579/1000000000000000000000000000000 -287018672811520281287494210971/500000000000000000000000000000 102842719054660348103833103989/250000000000000000000000000000 -58768986233692067810449289081/500000000000000000000000000000 4891277348718082713819439969/15625000000000000000000000000 96530692537292644600604438889/1000000000000000000000000000000 -4241086509866431257082070211/250000000000000000000000000000 -156041969681222482754769546653/1000000000000000000000000000000 -30606572668972377303119187587/500000000000000000000000000000 -161892014550033384437550281143/1000000000000000000000000000000 -75923887664931583981005626461/500000000000000000000000000000 53610549615946735642853968027/1000000000000000000000000000000
-66668357326419685114184469609/1000000000000000000000000000000 423037945206258450642149631/15625000000000000000000000000 -58768986233692067810449289081/500000000000000000000000000000 852062766606953938404357845693/1000000000000000000000000000000 132713180757727542000538587/15625000000000000000000000000 20069616101979584955167758773/200000000000000000000000000000 -90840318858590652250882577383/1000000000000000000000000000000 -224385277712694057241063539131/1000000000000000000000000000000 -343967957878230820951195956371/1000000000000000000000000000000 -44870481726142572807062502389/250000000000000000000000000000 964572291798808222109344193/500000000000000000000000000000 3233562942871733285692188607/125000000000000000000000000000
-37104879857547511162886956789/125000000000000000000000000000 -381227339359118475704409698527/500000000000000000000000000000 4891277348718082713819439969/15625000000000000000000000000 132713180757727542000538587/15625000000000000000000000000 146447469360135927370459484311/250000000000000000000000000000 447475787816546447158466561491/500000000000000000000000000000 -3876476136349754480352581377/125000000000000000000000000000 -128250425361283933206904836051/500000000000000000000000000000 3455999151569231828510667667/125000000000000000000000000000 -116594037736430940760551185863/500000000000000000000000000000 -59983987100952835418076013259/250000000000000000000000000000 1555345297061506460525929961/125000000000000000000000000000
-3220303062015763487039596211159/500000000000000000000000000000 2495666574812334344621920556729/1000000000000000000000000000000 96530692537292644600604438889/1000000000000000000000000000000 20069616101979584955167758773/200000000000000000000000000000 447475787816546447158466561491/500000000000000000000000000000 4877573012637124459439714736853/500000000000000000000000000000 -788587428552559558611752969267/1000000000000000000000000000000 -1043139535365565935214050459969/1000000000000000000000000000000 56152980498205404714320980699/100000000000000000000000000000 -1382260448217705055990796488349/1000000000000000000000000000000 76310446478838321939529054477/500000000000000000000000000000 -29049846923311518285388695653/40000000000000000000000000000
544775701387065396537124498143/1000000000000000000000000000000 -28310389411126360051083326961/100000000000000000000000000000 -4241086509866431257082070211/250000000000000000000000000000 -90840318858590652250882577383/1000000000000000000000000000000 -3876476136349754480352581377/125000000000000000000000000000 -788587428552559558611752969267/1000000000000000000000000000000 1099520076775544947696530938309/1000000000000000000000000000000 -132972590946036420664226410461/1000000000000000000000000000000 -106596918041858567820084132257/1000000000000000000000000000000 673690520371275210832770679/12500000000000000000000000000 -8294168311686145035475196431/250000000000000000000000000000 -48407959928573318464162980699/250000000000000000000000000000
594838743490541442792236457203/1000000000000000000000000000000 49640760239964863669843576911/1000000000000000000000000000000 -156041969681222482754769546653/1000000000000000000000000000000 -224385277712694057241063539131/1000000000000000000000000000000 -128250425361283933206904836051/500000000000000000000000000000 -1043139535365565935214050459969/1000000000000000000000000000000 -132972590946036420664226410461/1000000000000000000000000000000 874907794777826433424023552579/500000000000000000000000000000 -2486211398141942449772192693/250000000000000000000000000000 59491820731667382969006813957/500000000000000000000000000000 16187375883995045004112683051/250000000000000000000000000000 -1973494411494703147835062831/7812500000000000000000000000
-96167454714539954130136344499/250000000000000000000000000000 47658867570597874864090478047/250000000000000000000000000000 -30606572668972377303119187587/500000000000000000000000000000 -343967957878230820951195956371/1000000000000000000000000000000 3455999151569231828510667667/125000000000000000000000000000 56152980498205404714320980699/100000000000000000000000000000 -106596918041858567820084132257/1000000000000000000000000000000 -2486211398141942449772192693/250000000000000000000000000000 901877813241286374306149128489/1000000000000000000000000000000 -54072958328736973649202368949/200000000000000000000000000000 650571332448694375801520941/31250000000000000000000000000 -202641845698635302216747157293/1000000000000000000000000000000
850506071573499111541112620663/1000000000000000000000000000000 -144240699204262485944212942189/1000000000000000000000000000000 -161892014550033384437550281143/1000000000000000000000000000000 -44870481726142572807062502389/250000000000000000000000000000 -116594037736430940760551185863/500000000000000000000000000000 -1382260448217705055990796488349/1000000000000000000000000000000 673690520371275210832770679/12500000000000000000000000000 59491820731667382969006813957/500000000000000000000000000000 -54072958328736973649202368949/200000000000000000000000000000 134601600934786950355049100917/100000000000000000000000000000 1600272019268024467683280489/50000000000000000000000000000 -14005678678718350952159502679/100000000000000000000000000000
-124501534030911281764070508231/500000000000000000000000000000 269436850207472357789857438181/500000000000000000000000000000 -75923887664931583981005626461/500000000000000000000000000000 964572291798808222109344193/500000000000000000000000000000 -59983987100952835418076013259/250000000000000000000000000000 76310446478838321939529054477/500000000000000000000000000000 -8294168311686145035475196431/250000000000000000000000000000 16187375883995045004112683051/250000000000000000000000000000 650571332448694375801520941/31250000000000000000000000000 1600272019268024467683280489/50000000000000000000000000000 130412684096936338236517025219/1000000000000000000000000000000 -25612958312601037421506239737/500000000000000000000000000000
525644717936501858769909841751/1000000000000000000000000000000 -341429929076622367592013254101/1000000000000000000000000000000 53610549615946735642853968027/1000000000000000000000000000000 3233562942871733285692188607/125000000000000000000000000000 1555345297061506460525929961/125000000000000000000000000000 -29049846923311518285388695653/40000000000000000000000000000 -48407959928573318464162980699/250000000000000000000000000000 -1973494411494703147835062831/7812500000000000000000000000 -202641845698635302216747157293/1000000000000000000000000000000 -14005678678718350952159502679/100000000000000000000000000000 -25612958312601037421506239737/500000000000000000000000000000 814449670054901067537052926597/500000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
2069177833055023204413528032271/1000000000000000000000000000000 93763892486572920585272948211/250000000000000000000000000000 244644305735825917550903408229/200000000000000000000000000000 -24502418087798729255391753929/500000000000000000000000000000
93763892486572920585272948211/250000000000000000000000000000 2727279111721266836212226211563/1000000000000000000000000000000 151889870325306760581527183503/1000000000000000000000000000000 564533746075514461517124528547/1000000000000000000000000000000
244644305735825917550903408229/200000000000000000000000000000 151889870325306760581527183503/1000000000000000000000000000000 3027952066923721344548187031517/1000000000000000000000000000000 -6939884672799694796441692833/125000000000000000000000000000
-24502418087798729255391753929/500000000000000000000000000000 564533746075514461517124528547/1000000000000000000000000000000 -6939884672799694796441692833/125000000000000000000000000000 1465422379100510982443965471499/500000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
1765739485286545913315509474333/1000000000000000000000000000000 -160205664647572876784963803843/500000000000000000000000000000 4979391126192985424547764397/50000000000000000000000000000 63591824763163474754160654221/500000000000000000000000000000 -12649775486716610735588881881/100000000000000000000000000000 819913654785566844538119063/7812500000000000000000000000 78454592481711524072028359323/500000000000000000000000000000 -37530984686367383800516287123/250000000000000000000000000000 -200948063888539303412312247569/500000000000000000000000000000 -775559693508642015226501855153/1000000000000000000000000000000
-160205664647572876784963803843/500000000000000000000000000000 465486097552048899439348199427/500000000000000000000000000000 840107205218580777342994670567/1000000000000000000000000000000 -563657376671236279578482233261/1000000000000000000000000000000 -67894102540997747074219001923/500000000000000000000000000000 -136389198035013618848026206649/200000000000000000000000000000 12511775047806428032857266953/62500000000000000000000000000 52104568415485540226068280143/1000000000000000000000000000000 -2203107419235270581748105669/8000000000000000000000000000 78454592481711524072028359323/500000000000000000000000000000
4979391126192985424547764397/50000000000000000000000000000 840107205218580777342994670567/1000000000000000000000000000000 885047764565828473555481297439/200000000000000000000000000000 -236843126207502314684225444537/200000000000000000000000000000 -53312986231154611698463039391/500000000000000000000000000000 -387902889432977286585835242679/200000000000000000000000000000 840107205218580777342994670567/1000000000000000000000000000000 -1115859302587710081316395382171/1000000000000000000000000000000 -236843126207502314684225444537/200000000000000000000000000000 4979391126192985424547764397/50000000000000000000000000000
63591824763163474754160654221/500000000000000000000000000000 -563657376671236279578482233261/1000000000000000000000000000000 -236843126207502314684225444537/200000000000000000000000000000 1318520960814743375446115730923/1000000000000000000000000000000 -184879048502065422984927982923/1000000000000000000000000000000 586077051910475042163374029517/1000000000000000000000000000000 -2203107419235270581748105669/8000000000000000000000000000 15137401417874670857277088527/62500000000000000000000000000 16975080627901097922521191743/200000000000000000000000000000 -200948063888539303412312247569/500000000000000000000000000000
-12649775486716610735588881881/100000000000000000000000000000 -67894102540997747074219001923/500000000000000000000000000000 -53312986231154611698463039391/500000000000000000000000000000 -184879048502065422984927982923/1000000000000000000000000000000 1398484168225262767161255525927/1000000000000000000000000000000 -13829149697770316907723022787/500000000000000000000000000000 -67894102540997747074219001923/500000000000000000000000000000 3578816097866859941029422087/40000000000000000000000000000 -184879048502065422984927982923/1000000000000000000000000000000 -12649775486716610735588881881/100000000000000000000000000000
819913654785566844538119063/7812500000000000000000000000 -136389198035013618848026206649/200000000000000000000000000000 -387902889432977286585835242679/200000000000000000000000000000 586077051910475042163374029517/1000000000000000000000000000000 -13829149697770316907723022787/500000000000000000000000000000 229361307483499017904313418547/125000000000000000000000000000 -136389198035013618848026206649/200000000000000000000000000000 -84864606455323662028743335293/250000000000000000000000000000 586077051910475042163374029517/1000000000000000000000000000000 819913654785566844538119063/7812500000000000000000000000
78454592481711524072028359323/500000000000000000000000000000 12511775047806428032857266953/62500000000000000000000000000 840107205218580777342994670567/1000000000000000000000000000000 -2203107419235270581748105669/8000000000000000000000000000 -67894102540997747074219001923/500000000000000000000000000000 -136389198035013618848026206649/200000000000000000000000000000 465486097552048899439348199427/500000000000000000000000000000 52104568415485540226068280143/1000000000000000000000000000000 -563657376671236279578482233261/1000000000000000000000000000000 -160205664647572876784963803843/500000000000000000000000000000
-37530984686367383800516287123/250000000000000000000000000000 52104568415485540226068280143/1000000000000000000000000000000 -1115859302587710081316395382171/1000000000000000000000000000000 15137401417874670857277088527/62500000000000000000000000000 3578816097866859941029422087/40000000000000000000000000000 -84864606455323662028743335293/250000000000000000000000000000 52104568415485540226068280143/1000000000000000000000000000000 978395495340070423617243968157/1000000000000000000000000000000 15137401417874670857277088527/62500000000000000000000000000 -37530984686367383800516287123/250000000000000000000000000000
-200948063888539303412312247569/500000000000000000000000000000 -2203107419235270581748105669/8000000000000000000000000000 -236843126207502314684225444537/200000000000000000000000000000 16975080627901097922521191743/200000000000000000000000000000 -184879048502065422984927982923/1000000000000000000000000000000 586077051910475042163374029517/1000000000000000000000000000000 -563657376671236279578482233261/1000000000000000000000000000000 15137401417874670857277088527/62500000000000000000000000000 1318520960814743375446115730923/1000000000000000000000000000000 63591824763163474754160654221/500000000000000000000000000000
-775559693508642015226501855153/1000000000000000000000000000000 78454592481711524072028359323/500000000000000000000000000000 4979391126192985424547764397/50000000000000000000000000000 -200948063888539303412312247569/500000000000000000000000000000 -12649775486716610735588881881/100000000000000000000000000000 819913654785566844538119063/7812500000000000000000000000 -160205664647572876784963803843/500000000000000000000000000000 -37530984686367383800516287123/250000000000000000000000000000 63591824763163474754160654221/500000000000000000000000000000 1765739485286545913315509474333/1000000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
306699852268318945510928781033/250000000000000000000000000000 -2976604147987494168124166729/12500000000000000000000000000 195409111963159089168916665283/1000000000000000000000000000000 0/1 -2021169714832657174011822789/20000000000000000000000000000 83593825629058710928621287367/500000000000000000000000000000
-2976604147987494168124166729/12500000000000000000000000000 32704857161092585525279569603/25000000000000000000000000000 -60077519781310204100955562089/1000000000000000000000000000000 0/1 83593825629058710928621287367/500000000000000000000000000000 -170517024779076168303836290371/500000000000000000000000000000
195409111963159089168916665283/1000000000000000000000000000000 -60077519781310204100955562089/1000000000000000000000000000000 744312973376603008589803334281/250000000000000000000000000000 0/1 195409111963159089168916665283/1000000000000000000000000000000 -60077519781310204100955562089/1000000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
-2021169714832657174011822789/20000000000000000000000000000 83593825629058710928621287367/500000000000000000000000000000 195409111963159089168916665283/1000000000000000000000000000000 0/1 306699852268318945510928781033/250000000000000000000000000000 -2976604147987494168124166729/12500000000000000000000000000
83593825629058710928621287367/500000000000000000000000000000 -170517024779076168303836290371/500000000000000000000000000000 -60077519781310204100955562089/1000000000000000000000000000000 0/1 -2976604147987494168124166729/12500000000000000000000000000 32704857161092585525279569603/25000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
46942874906569768857343518911/125000000000000000000000000000 0/1 -4856446751574976799127588441/62500000000000000000000000000 0/1 0/1 -2543426246257716358017477441/62500000000000000000000000000 0/1 0/1 -496388933060887402799307037/12500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-4856446751574976799127588441/62500000000000000000000000000 0/1 1483770644427337226989328359/3906250000000000000000000000 0/1 0/1 -5940061166780052724552657027/125000000000000000000000000000 0/1 0/1 -2543426246257716358017477441/62500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-2543426246257716358017477441/62500000000000000000000000000 0/1 -5940061166780052724552657027/125000000000000000000000000000 0/1 0/1 1483770644427337226989328359/3906250000000000000000000000 0/1 0/1 -4856446751574976799127588441/62500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-496388933060887402799307037/12500000000000000000000000000 0/1 -2543426246257716358017477441/62500000000000000000000000000 0/1 0/1 -4856446751574976799127588441/62500000000000000000000000000 0/1 0/1 46942874906569768857343518911/125000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
71342230202684887891153436929/125000000000000000000000000000 -4796190435857137133/250000000000000000000000000000 0/1 0/1 0/1 8860047414527353313147029479/62500000000000000000000000000 0/1
-4796190435857137133/250000000000000000000000000000 431930933655970443931802088833/500000000000000000000000000000 0/1 0/1 0/1 0/1 8860047414527353313147029479/62500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1
8860047414527353313147029479/62500000000000000000000000000 0/1 0/1 0/1 0/1 431930933655970443931802088833/500000000000000000000000000000 4796190435857137133/250000000000000000000000000000
0/1 8860047414527353313147029479/62500000000000000000000000000 0/1 0/1 0/1 4796190435857137133/250000000000000000000000000000 71342230202684887891153436929/125000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
814449670054901067537052926597/500000000000000000000000000000 -29049846923311518285388695653/40000000000000000000000000000 -14005678678718350952159502679/100000000000000000000000000000 3233562942871733285692188607/125000000000000000000000000000 -1973494411494703147835062831/7812500000000000000000000000 -341429929076622367592013254101/1000000000000000000000000000000 -25612958312601037421506239737/500000000000000000000000000000 1555345297061506460525929961/125000000000000000000000000000 -202641845698635302216747157293/1000000000000000000000000000000 53610549615946735642853968027/1000000000000000000000000000000 -48407959928573318464162980699/250000000000000000000000000000 525644717936501858769909841751/1000000000000000000000000000000
-29049846923311518285388695653/40000000000000000000000000000 4877573012637124459439714736853/500000000000000000000000000000 -1382260448217705055990796488349/1000000000000000000000000000000 20069616101979584955167758773/200000000000000000000000000000 -1043139535365565935214050459969/1000000000000000000000000000000 2495666574812334344621920556729/1000000000000000000000000000000 76310446478838321939529054477/500000000000000000000000000000 447475787816546447158466561491/500000000000000000000000000000 56152980498205404714320980699/100000000000000000000000000000 96530692537292644600604438889/1000000000000000000000000000000 -788587428552559558611752969267/1000000000000000000000000000000 -3220303062015763487039596211159/500000000000000000000000000000
-14005678678718350952159502679/100000000000000000000000000000 -1382260448217705055990796488349/1000000000000000000000000000000 134601600934786950355049100917/100000000000000000000000000000 -44870481726142572807062502389/250000000000000000000000000000 59491820731667382969006813957/500000000000000000000000000000 -144240699204262485944212942189/1000000000000000000000000000000 1600272019268024467683280489/50000000000000000000000000000 -116594037736430940760551185863/500000000000000000000000000000 -54072958328736973649202368949/200000000000000000000000000000 -161892014550033384437550281143/1000000000000000000000000000000 673690520371275210832770679/12500000000000000000000000000 850506071573499111541112620663/1000000000000000000000000000000
3233562942871733285692188607/125000000000000000000000000000 20069616101979584955167758773/200000000000000000000000000000 -44870481726142572807062502389/250000000000000000000000000000 852062766606953938404357845693/1000000000000000000000000000000 -224385277712694057241063539131/1000000000000000000000000000000 423037945206258450642149631/15625000000000000000000000000 964572291798808222109344193/500000000000000000000000000000 132713180757727542000538587/15625000000000000000000000000 -343967957878230820951195956371/1000000000000000000000000000000 -58768986233692067810449289081/500000000000000000000000000000 -90840318858590652250882577383/1000000000000000000000000000000 -66668357326419685114184469609/1000000000000000000000000000000
-1973494411494703147835062831/7812500000000000000000000000 -1043139535365565935214050459969/1000000000000000000000000000000 59491820731667382969006813957/500000000000000000000000000000 -224385277712694057241063539131/1000000000000000000000000000000 874907794777826433424023552579/500000000000000000000000000000 49640760239964863669843576911/1000000000000000000000000000000 16187375883995045004112683051/250000000000000000000000000000 -128250425361283933206904836051/500000000000000000000000000000 -2486211398141942449772192693/250000000000000000000000000000 -156041969681222482754769546653/1000000000000000000000000000000 -132972590946036420664226410461/1000000000000000000000000000000 594838743490541442792236457203/1000000000000000000000000000000
-341429929076622367592013254101/1000000000000000000000000000000 2495666574812334344621920556729/1000000000000000000000000000000 -144240699204262485944212942189/1000000000000000000000000000000 423037945206258450642149631/15625000000000000000000000000 49640760239964863669843576911/1000000000000000000000000000000 51797492757298957382611511557/20000000000000000000000000000 269436850207472357789857438181/500000000000000000000000000000 -381227339359118475704409698527/500000000000000000000000000000 47658867570597874864090478047/250000000000000000000000000000 -287018672811520281287494210971/500000000000000000000000000000 -28310389411126360051083326961/100000000000000000000000000000 -2226451578752800741126903727629/1000000000000000000000000000000
-25612958312601037421506239737/500000000000000000000000000000 76310446478838321939529054477/500000000000000000000000000000 1600272019268024467683280489/50000000000000000000000000000 964572291798808222109344193/500000000000000000000000000000 16187375883995045004112683051/250000000000000000000000000000 269436850207472357789857438181/500000000000000000000000000000 130412684096936338236517025219/1000000000000000000000000000000 -59983987100952835418076013259/250000000000000000000000000000 650571332448694375801520941/31250000000000000000000000000 -75923887664931583981005626461/500000000000000000000000000000 -8294168311686145035475196431/250000000000000000000000000000 -124501534030911281764070508231/500000000000000000000000000000
1555345297061506460525929961/125000000000000000000000000000 447475787816546447158466561491/500000000000000000000000000000 -116594037736430940760551185863/500000000000000000000000000000 132713180757727542000538587/15625000000000000000000000000 -128250425361283933206904836051/500000000000000000000000000000 -381227339359118475704409698527/500000000000000000000000000000 -59983987100952835418076013259/250000000000000000000000000000 146447469360135927370459484311/250000000000000000000000000000 3455999151569231828510667667/125000000000000000000000000000 4891277348718082713819439969/15625000000000000000000000000 -3876476136349754480352581377/125000000000000000000000000000 -37104879857547511162886956789/125000000000000000000000000000
-202641845698635302216747157293/1000000000000000000000000000000 56152980498205404714320980699/100000000000000000000000000000 -54072958328736973649202368949/200000000000000000000000000000 -343967957878230820951195956371/1000000000000000000000000000000 -2486211398141942449772192693/250000000000000000000000000000 47658867570597874864090478047/250000000000000000000000000000 650571332448694375801520941/31250000000000000000000000000 3455999151569231828510667667/125000000000000000000000000000 901877813241286374306149128489/1000000000000000000000000000000 -30606572668972377303119187587/500000000000000000000000000000 -106596918041858567820084132257/1000000000000000000000000000000 -96167454714539954130136344499/250000000000000000000000000000
53610549615946735642853968027/1000000000000000000000000000000 96530692537292644600604438889/1000000000000000000000000000000 -161892014550033384437550281143/1000000000000000000000000000000 -58768986233692067810449289081/500000000000000000000000000000 -156041969681222482754769546653/1000000000000000000000000000000 -287018672811520281287494210971/500000000000000000000000000000 -75923887664931583981005626461/500000000000000000000000000000 4891277348718082713819439969/15625000000000000000000000000 -30606572668972377303119187587/500000000000000000000000000000 102842719054660348103833103989/250000000000000000000000000000 -4241086509866431257082070211/250000000000000000000000000000 113839527756528112257897236579/1000000000000000000000000000000
-48407959928573318464162980699/250000000000000000000000000000 -788587428552559558611752969267/1000000000000000000000000000000 673690520371275210832770679/12500000000000000000000000000 -90840318858590652250882577383/1000000000000000000000000000000 -132972590946036420664226410461/1000000000000000000000000000000 -28310389411126360051083326961/100000000000000000000000000000 -8294168311686145035475196431/250000000000000000000000000000 -3876476136349754480352581377/125000000000000000000000000000 -106596918041858567820084132257/1000000000000000000000000000000 -4241086509866431257082070211/250000000000000000000000000000 1099520076775544947696530938309/1000000000000000000000000000000 544775701387065396537124498143/1000000000000000000000000000000
525644717936501858769909841751/1000000000000000000000000000000 -3220303062015763487039596211159/500000000000000000000000000000 850506071573499111541112620663/1000000000000000000000000000000 -66668357326419685114184469609/1000000000000000000000000000000 594838743490541442792236457203/1000000000000000000000000000000 -2226451578752800741126903727629/1000000000000000000000000000000 -124501534030911281764070508231/500000000000000000000000000000 -37104879857547511162886956789/125000000000000000000000000000 -96167454714539954130136344499/250000000000000000000000000000 113839527756528112257897236579/1000000000000000000000000000000 544775701387065396537124498143/1000000000000000000000000000000 17280871226584199771758975051/3906250000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1465422379100510982443965471499/500000000000000000000000000000 564533746075514461517124528547/1000000000000000000000000000000 -6939884672799694796441692833/125000000000000000000000000000 -24502418087798729255391753929/500000000000000000000000000000
564533746075514461517124528547/1000000000000000000000000000000 2727279111721266836212226211563/1000000000000000000000000000000 151889870325306760581527183503/1000000000000000000000000000000 93763892486572920585272948211/250000000000000000000000000000
-6939884672799694796441692833/125000000000000000000000000000 151889870325306760581527183503/1000000000000000000000000000000 3027952066923721344548187031517/1000000000000000000000000000000 244644305735825917550903408229/200000000000000000000000000000
-24502418087798729255391753929/500000000000000000000000000000 93763892486572920585272948211/250000000000000000000000000000 244644305735825917550903408229/200000000000000000000000000000 2069177833055023204413528032271/1000000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
31242798426514327450944396827/15625000000000000000000000000 230398761426562662003168687117/1000000000000000000000000000000 62591988163308643030468832917/500000000000000000000000000000 37480169710334906991279483687/1000000000000000000000000000000 -37393386166721579620114496587/50000000000000000000000000000 13282100041149573089070697077/125000000000000000000000000000
230398761426562662003168687117/1000000000000000000000000000000 118036678681106605239096259847/500000000000000000000000000000 -2047849108977580074440553547/50000000000000000000000000000 -44331322926103717488042376311/1000000000000000000000000000000 -5385859834693724388401614957/62500000000000000000000000000 3060884782338498104343668363/250000000000000000000000000000
62591988163308643030468832917/500000000000000000000000000000 -2047849108977580074440553547/50000000000000000000000000000 1157212999023685253549328201/10000000000000000000000000000 -1924118917261426350249647739/250000000000000000000000000000 -23410658837623412828525897043/500000000000000000000000000000 1663089355575909369742606601/250000000000000000000000000000
37480169710334906991279483687/1000000000000000000000000000000 -44331322926103717488042376311/1000000000000000000000000000000 -1924118917261426350249647739/250000000000000000000000000000 149706649755717364061757694707/1000000000000000000000000000000 -14018335138249293665765407833/1000000000000000000000000000000 199172045691024485424586167/100000000000000000000000000000
-37393386166721579620114496587/50000000000000000000000000000 -5385859834693724388401614957/62500000000000000000000000000 -23410658837623412828525897043/500000000000000000000000000000 -14018335138249293665765407833/1000000000000000000000000000000 279717526805097517771922698731/1000000000000000000000000000000 -19871087136765562623184492771/500000000000000000000000000000
13282100041149573089070697077/125000000000000000000000000000 3060884782338498104343668363/250000000000000000000000000000 1663089355575909369742606601/250000000000000000000000000000 199172045691024485424586167/100000000000000000000000000000 -19871087136765562623184492771/500000000000000000000000000000 1411638764674412787123230251/250000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
344155385407923370403260283203/250000000000000000000000000000 -191674388647696282228107613141/250000000000000000000000000000 -38120249175915218902010608889/125000000000000000000000000000 -7743866826169854046985271917/250000000000000000000000000000 15487733621056280334576930507/500000000000000000000000000000 -30975467403355960650674109471/1000000000000000000000000000000 7796742486383877322235164587/500000000000000000000000000000 -12753221778092666828769225517/100000000000000000000000000000 12753221778092666828769225517/100000000000000000000000000000 2200886400961190723/1000000000000000000000000000000
-191674388647696282228107613141/250000000000000000000000000000 688310770794069360802906808161/500000000000000000000000000000 -76240498399505453720726952607/250000000000000000000000000000 15487733705326255613698683797/500000000000000000000000000000 -7743866840101430960309205183/250000000000000000000000000000 3871933423763326657585374237/125000000000000000000000000000 1949185638657534206505208439/125000000000000000000000000000 63766108880479740332585111869/500000000000000000000000000000 -63766108880479740332585111869/500000000000000000000000000000 -10610213963058084307/125000000000000000000000000000
-38120249175915218902010608889/125000000000000000000000000000 -76240498399505453720726952607/250000000000000000000000000000 688310770836755294159690263613/500000000000000000000000000000 -154877336092812730819224723/5000000000000000000000000000 1935966714248798387038831237/62500000000000000000000000000 30975467076351025587132194121/1000000000000000000000000000000 -7796742501008329918419462349/500000000000000000000000000000 12844640323818081449/500000000000000000000000000000 -12844640323818081449/500000000000000000000000000000 -25506443545697076879209899679/200000000000000000000000000000
-7743866826169854046985271917/250000000000000000000000000000 15487733705326255613698683797/500000000000000000000000000000 -154877336092812730819224723/5000000000000000000000000000 642848196238351226320328959009/500000000000000000000000000000 -154707218620898976311706798593/500000000000000000000000000000 -488140977705905967418451427417/1000000000000000000000000000000 -7245935614406167697/125000000000000000000000000000 -5088251365947449088812933841/125000000000000000000000000000 5088251365947449088812933841/125000000000000000000000000000 -8141202159617035867203668743/200000000000000000000000000000
15487733621056280334576930507/500000000000000000000000000000 -7743866840101430960309205183/250000000000000000000000000000 1935966714248798387038831237/62500000000000000000000000000 -154707218620898976311706798593/500000000000000000000000000000 642848196290991409122028974447/500000000000000000000000000000 -24407048881923849515659796379/50000000000000000000000000000 -80448170180175246981/500000000000000000000000000000 2544125678523715937554587397/62500000000000000000000000000 -2544125678523715937554587397/62500000000000000000000000000 10176502744988244670162336911/250000000000000000000000000000
-30975467403355960650674109471/1000000000000000000000000000000 3871933423763326657585374237/125000000000000000000000000000 30975467076351025587132194121/1000000000000000000000000000000 -488140977705905967418451427417/1000000000000000000000000000000 -24407048881923849515659796379/50000000000000000000000000000 1285696392595964428020073553973/1000000000000000000000000000000 25684870476882938037/200000000000000000000000000000 -20353005447084379266895466067/500000000000000000000000000000 20353005447084379266895466067/500000000000000000000000000000 20353005413787181698465897597/500000000000000000000000000000
7796742486383877322235164587/500000000000000000000000000000 1949185638657534206505208439/125000000000000000000000000000 -7796742501008329918419462349/500000000000000000000000000000 -7245935614406167697/125000000000000000000000000000 -80448170180175246981/500000000000000000000000000000 25684870476882938037/200000000000000000000000000000 124316834780264868804842044817/200000000000000000000000000000 -8661890699630733049/500000000000000000000000000000 8661890699630733049/500000000000000000000000000000 -4719515090467002189/1000000000000000000000000000000
-12753221778092666828769225517/100000000000000000000000000000 63766108880479740332585111869/500000000000000000000000000000 12844640323818081449/500000000000000000000000000000 -5088251365947449088812933841/125000000000000000000000000000 2544125678523715937554587397/62500000000000000000000000000 -20353005447084379266895466067/500000000000000000000000000000 -8661890699630733049/500000000000000000000000000000 519351488179853713953761925683/500000000000000000000000000000 -519351488179853713953761925683/500000000000000000000000000000 -1313281802811134387/31250000000000000000000000000
12753221778092666828769225517/100000000000000000000000000000 -63766108880479740332585111869/500000000000000000000000000000 -12844640323818081449/500000000000000000000000000000 5088251365947449088812933841/125000000000000000000000000000 -2544125678523715937554587397/62500000000000000000000000000 20353005447084379266895466067/500000000000000000000000000000 8661890699630733049/500000000000000000000000000000 -519351488179853713953761925683/500000000000000000000000000000 519351488179853713953761925683/500000000000000000000000000000 1313281802811134387/31250000000000000000000000000
2200886400961190723/1000000000000000000000000000000 -10610213963058084307/125000000000000000000000000000 -25506443545697076879209899679/200000000000000000000000000000 -8141202159617035867203668743/200000000000000000000000000000 10176502744988244670162336911/250000000000000000000000000000 20353005413787181698465897597/500000000000000000000000000000 -4719515090467002189/1000000000000000000000000000000 -1313281802811134387/31250000000000000000000000000 1313281802811134387/31250000000000000000000000000 1038702976452135121422989014801/1000000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1411638764674412787123230251/250000000000000000000000000000 -19871087136765562623184492771/500000000000000000000000000000 1663089355575909369742606601/250000000000000000000000000000 199172045691024485424586167/100000000000000000000000000000 3060884782338498104343668363/250000000000000000000000000000 13282100041149573089070697077/125000000000000000000000000000
-19871087136765562623184492771/500000000000000000000000000000 279717526805097517771922698731/1000000000000000000000000000000 -23410658837623412828525897043/500000000000000000000000000000 -14018335138249293665765407833/1000000000000000000000000000000 -5385859834693724388401614957/62500000000000000000000000000 -37393386166721579620114496587/50000000000000000000000000000
1663089355575909369742606601/250000000000000000000000000000 -23410658837623412828525897043/500000000000000000000000000000 1157212999023685253549328201/10000000000000000000000000000 -1924118917261426350249647739/250000000000000000000000000000 -2047849108977580074440553547/50000000000000000000000000000 62591988163308643030468832917/500000000000000000000000000000
199172045691024485424586167/100000000000000000000000000000 -14018335138249293665765407833/1000000000000000000000000000000 -1924118917261426350249647739/250000000000000000000000000000 149706649755717364061757694707/1000000000000000000000000000000 -44331322926103717488042376311/1000000000000000000000000000000 37480169710334906991279483687/1000000000000000000000000000000
3060884782338498104343668363/250000000000000000000000000000 -5385859834693724388401614957/62500000000000000000000000000 -2047849108977580074440553547/50000000000000000000000000000 -44331322926103717488042376311/1000000000000000000000000000000 118036678681106605239096259847/500000000000000000000000000000 230398761426562662003168687117/1000000000000000000000000000000
13282100041149573089070697077/125000000000000000000000000000 -37393386166721579620114496587/50000000000000000000000000000 62591988163308643030468832917/500000000000000000000000000000 37480169710334906991279483687/1000000000000000000000000000000 230398761426562662003168687117/1000000000000000000000000000000 31242798426514327450944396827/15625000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
519351488179853713953761925683/500000000000000000000000000000 -519351488179853713953761925683/500000000000000000000000000000 -1313281802811134387/31250000000000000000000000000 -5088251365947449088812933841/125000000000000000000000000000 2544125678523715937554587397/62500000000000000000000000000 -20353005447084379266895466067/500000000000000000000000000000 8661890699630733049/500000000000000000000000000000 -12753221778092666828769225517/100000000000000000000000000000 63766108880479740332585111869/500000000000000000000000000000 12844640323818081449/500000000000000000000000000000
-519351488179853713953761925683/500000000000000000000000000000 519351488179853713953761925683/500000000000000000000000000000 1313281802811134387/31250000000000000000000000000 5088251365947449088812933841/125000000000000000000000000000 -2544125678523715937554587397/62500000000000000000000000000 20353005447084379266895466067/500000000000000000000000000000 -8661890699630733049/500000000000000000000000000000 12753221778092666828769225517/100000000000000000000000000000 -63766108880479740332585111869/500000000000000000000000000000 -12844640323818081449/500000000000000000000000000000
-1313281802811134387/31250000000000000000000000000 1313281802811134387/31250000000000000000000000000 1038702976452135121422989014801/1000000000000000000000000000000 -8141202159617035867203668743/200000000000000000000000000000 10176502744988244670162336911/250000000000000000000000000000 20353005413787181698465897597/500000000000000000000000000000 4719515090467002189/1000000000000000000000000000000 2200886400961190723/1000000000000000000000000000000 -10610213963058084307/125000000000000000000000000000 -25506443545697076879209899679/200000000000000000000000000000
-5088251365947449088812933841/125000000000000000000000000000 5088251365947449088812933841/125000000000000000000000000000 -8141202159617035867203668743/200000000000000000000000000000 642848196238351226320328959009/500000000000000000000000000000 -154707218620898976311706798593/500000000000000000000000000000 -488140977705905967418451427417/1000000000000000000000000000000 7245935614406167697/125000000000000000000000000000 -7743866826169854046985271917/250000000000000000000000000000 15487733705326255613698683797/500000000000000000000000000000 -154877336092812730819224723/5000000000000000000000000000
2544125678523715937554587397/62500000000000000000000000000 -2544125678523715937554587397/62500000000000000000000000000 10176502744988244670162336911/250000000000000000000000000000 -154707218620898976311706798593/500000000000000000000000000000 642848196290991409122028974447/500000000000000000000000000000 -24407048881923849515659796379/50000000000000000000000000000 80448170180175246981/500000000000000000000000000000 15487733621056280334576930507/500000000000000000000000000000 -7743866840101430960309205183/250000000000000000000000000000 1935966714248798387038831237/62500000000000000000000000000
-20353005447084379266895466067/500000000000000000000000000000 20353005447084379266895466067/500000000000000000000000000000 20353005413787181698465897597/500000000000000000000000000000 -488140977705905967418451427417/1000000000000000000000000000000 -24407048881923849515659796379/50000000000000000000000000000 1285696392595964428020073553973/1000000000000000000000000000000 -25684870476882938037/200000000000000000000000000000 -30975467403355960650674109471/1000000000000000000000000000000 3871933423763326657585374237/125000000000000000000000000000 30975467076351025587132194121/1000000000000000000000000000000
8661890699630733049/500000000000000000000000000000 -8661890699630733049/500000000000000000000000000000 4719515090467002189/1000000000000000000000000000000 7245935614406167697/125000000000000000000000000000 80448170180175246981/500000000000000000000000000000 -25684870476882938037/200000000000000000000000000000 124316834780264868804842044817/200000000000000000000000000000 -7796742486383877322235164587/500000000000000000000000000000 -1949185638657534206505208439/125000000000000000000000000000 7796742501008329918419462349/500000000000000000000000000000
-12753221778092666828769225517/100000000000000000000000000000 12753221778092666828769225517/100000000000000000000000000000 2200886400961190723/1000000000000000000000000000000 -7743866826169854046985271917/250000000000000000000000000000 15487733621056280334576930507/500000000000000000000000000000 -30975467403355960650674109471/1000000000000000000000000000000 -7796742486383877322235164587/500000000000000000000000000000 344155385407923370403260283203/250000000000000000000000000000 -191674388647696282228107613141/250000000000000000000000000000 -38120249175915218902010608889/125000000000000000000000000000
63766108880479740332585111869/500000000000000000000000000000 -63766108880479740332585111869/500000000000000000000000000000 -10610213963058084307/125000000000000000000000000000 15487733705326255613698683797/500000000000000000000000000000 -7743866840101430960309205183/250000000000000000000000000000 3871933423763326657585374237/125000000000000000000000000000 -1949185638657534206505208439/125000000000000000000000000000 -191674388647696282228107613141/250000000000000000000000000000 688310770794069360802906808161/500000000000000000000000000000 -76240498399505453720726952607/250000000000000000000000000000
12844640323818081449/500000000000000000000000000000 -12844640323818081449/500000000000000000000000000000 -25506443545697076879209899679/200000000000000000000000000000 -154877336092812730819224723/5000000000000000000000000000 1935966714248798387038831237/62500000000000000000000000000 30975467076351025587132194121/1000000000000000000000000000000 7796742501008329918419462349/500000000000000000000000000000 -38120249175915218902010608889/125000000000000000000000000000 -76240498399505453720726952607/250000000000000000000000000000 688310770836755294159690263613/500000000000000000000000000000

